Cipolla のアルゴリズム